Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Principles of Model Checking

 Автор: , Автор:
Размер книги: 4.40 Mb

Principles of Model Checking

 Автор: , Автор:
Размер книги: 5.15 Mb

Theoretische Informatik

 Автор: , Автор:
Категория: fiction
Размер книги: 2.08 Mb

CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.16 Mb

Validation of Stochastic Systems - A Guide to Current Research

 Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.22 Mb

Principles of Model Checking

 Автор: , Автор: , Автор:
Категория: Computer science
Размер книги: 17.08 Mb